Nuprl Definition : isrcvl
11,40
postcript
pdf
isrcvl(
l
;
k
) == isrcv(
k
)
lnk(
k
) =
l
latex
Definitions
p
q
,
isrcv(
k
)
,
a
=
b
,
lnk(
k
)
FDL editor aliases
isrcvl
origin
lnk(k) = l lnk(k) = l q